package ru.ifmo.automaton;

/**
 * @author avhaliullin
 */
public interface SynchronizingAutomaton<C, S> extends Automaton<C, S> {
    public int mswLength();
}
